<!DOCTYPE html>
<html lang="en">

<head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width,initial-scale=1.0">
    <title>Doric Playground</title>
</head>

<body>
    <div>
        Redirecting ...
    </div>

    <script type="text/javascript">
        window.location.href = window.location.href + "play/"
    </script>
</body>

</html>